WARNING:  Note that PRIME-KEY-TRICK contains the free variable M
which will be chosen by instantiating the hypothesis:
      (EQUAL (REMAINDER (TIMES M A) P)
	     (REMAINDER (TIMES M B) P))
.


WARNING:  Note that PERM-MEMBER contains the free variable A which
will be chosen by instantiating the hypothesis (PERM A B).


WARNING:  Note that TIMES-LIST-EQUAL-FACT contains the free variable
N which will be chosen by instantiating the hypothesis
(PERM (POSITIVES N) L).